Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Enforcement of (Timed) Properties with Uncontrollable Events

Subjects: [INFO]Computer Science [cs]; [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]; [INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationCali; Colombia

  • Source: 12th International Colloquium on Theoretical Aspects of Computing (ICTAC 2015)https://inria.hal.science/hal-0118523812th International Colloquium on Theoretical Aspects of Computing (ICTAC

تفاصيل العنوان

×
  • 1-1 of  1 نتائج ل ""Colombia""